assert session.contains( cat );